TAGs: Infinite solution graph